Cut-elimination theorem - PDFSEARCH.IO - Document Search Engine

Cut-elimination theorem
Results: 53

#	Item
11	Pushdown systems in Polarized deduction modulo Gilles Dowek∗ and Ying Jiang† Abstract We introduce a new saturation method for polarized rewrite systems and prove a cut-elimination theorem for the Polarized sequent c Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-09-01 05:38:56
12	Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:45 Proof theory Automated theorem proving Rules of inference Resolution Unification Sequent calculus Function Admissible rule Cut-elimination theorem Mathematical logic Logic Mathematics
13	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:08 Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic
14	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
15	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory
16	Deduction modulo theory Gilles Dowek Inria, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. 1 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-07-03 10:24:22 Proof theory Natural deduction Propositional calculus Sequent calculus Heyting algebra First-order logic Intuitionistic logic Cut-elimination theorem Function Logic Mathematical logic Mathematics
17	January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-03-02 09:38:29 Sequent calculus Entailment Ω-consistent theory Sequent Cut-elimination theorem First-order logic Structure Linear logic Natural deduction Logic Mathematical logic Proof theory
18	June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-23 06:51:18 Mathematics Sequent calculus Intuitionistic logic Cut-elimination theorem Interpretation Sequent Structural rule Propositional calculus Linear logic Logic Mathematical logic Proof theory
19	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Topics in Logic: Applications of Logic in Philosophy” (Proof Theory) Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:42:54 Mathematical logic Natural deduction Cut-elimination theorem Formal proof Mathematical proof Philosophy of mathematics Sequent calculus Sequent Intuitionistic logic Logic Proof theory Mathematics
20	On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger Add to Reading List Source URL: www.loria.fr Language: English - Date: 2004-11-15 14:07:24 Deduction Propositional calculus Natural deduction Cut-elimination theorem Entailment Sequent calculus Linear logic Curry–Howard correspondence Logic Mathematical logic Proof theory